An Appli ation of Agent
ثبت نشده
چکیده
منابع مشابه
Åóóóðð Áòøøöñññññööö× Ëùôôóöøøòò Áòòóöññøøóò Ëëëööòò Øûò Åóóóðð Í××ö× Aeóöððþþ Òò Òò Äù Åóöööù
ION LAYER SHADOW MOBILE DEVICE AGENT Fig. 8. Appli ation Intera tions The appli ation intera tions are illustrated in Figure 8. A mobile user uses a browser on a laptop to a ess information. The browser sidebar intera ts dire tly with a User Appli ation, whi h is also an agent running on the laptop. User's requests are sent by the browser sidebar to the User Appli ation. If no User Agent is sta...
متن کاملDeploying Agents in an Electronic Banking Environment
In this paper, we report on the deployment of an agentbased extension to an ele troni banking environment whi h has been developed in ooperation with a software ompany spe ializing in ele troni banking solutions. During development of a prototype we made valuable experien es on erning the understanding and appli ation of agent te hnology and its transition to industry. Several lessons that an b...
متن کاملÙ Blockinøøóò Óò Åä Ó Blockinùññòø×× ×× Ëøùùý
Bernd D. Heumesser and Ralf-Dieter S himkat Wilhelm-S hi kard-Institute for Computer S ien e University of T ubingen, Germany fheumesser, s himkatg informatik.uni-tuebingen.de Abstra t This papers shows the deployment of the pro essing and omputational fa ilities of Prolog to query on XML do uments and to reason about their ontent. Based on a ase study we show that it is feasible and useful to...
متن کاملModel-driven QoS Provisioning for Distributed Real-time and Embedded Systems
Real-time and Embedded Systems JAIGANESH BALASUBRAMANIAN, SUMANT TAMBE, ANIRUDDHA GOKHALE, DOUGLAS C. SCHMIDT Department of EECS, Vanderbilt University, Nashville, USA and BALAKRISHNAN DASARATHY, SHRIRANG GADGIL Tel ordia Te hnologies, Pis ataway, NJ, USA Distributed real-time and embedded (DRE) systems onsist of performan e-sensitive appli ations that are deployed in resour eonstrained environ...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002